-
1 substitution morphism
Большой англо-русский и русско-английский словарь > substitution morphism
-
2 substitution morphism
Математика: подстановочный морфизм -
3 substitution morphism
English-Russian scientific dictionary > substitution morphism
-
4 morphism
морфизм dually universal morphism ≈ двойственно универсальный морфизм fiber bundle morphism ≈ морфизм расслоенного пространства left regular morphism ≈ регулярный слева морфизм local vector bundle morphism ≈ локальный морфизм векторных расслоений locally embeddable morphism ≈ локально вложимый морфизм locally stable morphism ≈ локально устойчивый морфизм locally trivial morphism ≈ локально тривиальный морфизм principal bundle morphism ≈ морфизм главных расслоений projectively embeddable morphism ≈ проективно вложимый морфизм purely inseparable morphism ≈ чисто несепарабельный морфизм residually stable morphism ≈ резидуально устойчивый морфизм right liberty morphism ≈ освобождающий справа морфизм right regular morphism ≈ регулярный справа морфизм universally closed morphism ≈ универсально замкнутый морфизм universally submersive morphism ≈ универсально субмерсивный морфизм - bijective morphism - bilogical morphism - bimeromorphic morphism - birational morphism - bounded morphism - bundle morphism - canonical morphism - categorical morphism - central morphism - clone morphism - closed morphism - cobounded morphism - codiagonal morphism - coequating morphism - coessential morphism - coimage of morphism - coliberty morphism - commutator morphism - compactifiable morphism - compatibility morphism - composite morphism - connecting morphism - coperfect morphism - covering morphism - divisible morphism - dominant morphism - dual morphism - embeddable morphism - epic morphism - etale morphism - extendable morphism - factored morphism - factorial morphism - fibered morphism - finite morphism - flat morphism - functorial morphism - fuzzy morphism - general morphism - geometric morphism - graded morphism - groupoid morphism - homotopic morphism - identity morphism - index of morphism - induced morphism - inductive morphism - injective morphism - inseparable morphism - invertible morphism - kernel of morphism - lattice morphism - liftable morphism - limit morphism - manifold morphism - monic morphism - morphism of colimit - morphism of complexes - morphism of functors - morphism of limit - morphism of manifolds - morphism of premanifold - morphism of presheafs - morphism of rings - morphism of semigroups - morphism of sheafs - natural morphism - neighbor morphism - nonstrict morphism - nontrivial morphism - open morphism - periodicity morphism - pregroup morphism - projective morphism - proper morphism - pseudosmooth morphism - quasicompact morphism - quasifinite morphism - quasiprojective morphism - quotient morphism - ramified morphism - restriction morphism - semilattice morphism - separated morphism - shape morphism - simplicial morphism - splitting morphism - stable morphism - strong morphism - submersive morphism - substitution morphism - surjective morphism - terminal morphism - topological morphism - trace morphism - transfer morphism - transversal morphism - universal morphism - unramified morphism - zero morphism (математика) морфизмБольшой англо-русский и русско-английский словарь > morphism
-
5 morphism
-
6 подстановочный морфизм
Большой англо-русский и русско-английский словарь > подстановочный морфизм
См. также в других словарях:
Chain rule — For other uses, see Chain rule (disambiguation). Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus Derivative Change of variables Implicit differentiation … Wikipedia
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
General frame — In logic, general frames (or simply frames) are Kripke frames with an additional structure, which are used to model modal and intermediate logics. The general frame semantics combines the main virtues of Kripke semantics and algebraic semantics:… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Domain of a function — Venn diagram showing f, a function from domain X to codomain Y. The smaller oval inside Y is the image of f, sometimes called the range of f. In mathematics, the domain of definition or simply the domain of a function is the set of input or… … Wikipedia
Determinant — This article is about determinants in mathematics. For determinants in epidemiology, see Risk factor. In linear algebra, the determinant is a value associated with a square matrix. It can be computed from the entries of the matrix by a specific… … Wikipedia
Utility — This article is about the economic concept. For other uses, see Utility (disambiguation). Part of a series on Utilitarianism … Wikipedia
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
List of NP-complete problems — Here are some of the more commonly known problems that are NP complete when expressed as decision problems. This list is in no way comprehensive (there are more than 3000 known NP complete problems). Most of the problems in this list are taken… … Wikipedia
List of mathematics articles (M) — NOTOC M M estimator M group M matrix M separation M set M. C. Escher s legacy M. Riesz extension theorem M/M/1 model Maass wave form Mac Lane s planarity criterion Macaulay brackets Macbeath surface MacCormack method Macdonald polynomial Machin… … Wikipedia
Inquiry — For other uses, see Public inquiry and Enquiry character. An inquiry is any process that has the aim of augmenting knowledge, resolving doubt, or solving a problem. A theory of inquiry is an account of the various types of inquiry and a treatment … Wikipedia